Generating Interactive WebSocket Applications in TypeScript
نویسندگان
چکیده
منابع مشابه
Generating Interactive Applications from Task Models: A Hard Challenge
Since early ergonomics, notations have been created focusing on the activities, jobs and task descriptions. However, the development of a wide variety of devices led to the generation of different interfaces from the same description of the tasks. The generation of complete current interfaces needs different types of information, some of which are not represented in usual task models. The goal ...
متن کاملUnderstanding TypeScript
TypeScript is an extension of JavaScript intended to enable easier development of large-scale JavaScript applications. While every JavaScript program is a TypeScript program, TypeScript offers a module system, classes, interfaces, and a rich gradual type system. The intention is that TypeScript provides a smooth transition for JavaScript programmers—well-established JavaScript programming idiom...
متن کاملRefinement Types for TypeScript
1.1 Object Constraint System Our system leverages the idea introduced in the formall core of X10 [3] to extend a base constraint system C with a larger constraint system O (C), built on top of C. The original system C comprises formulas taken from a decidable SMT logic [2], including, for example, linear arithmetic constraints and uninterpreted predicates. The Object Constraint System O (C) int...
متن کاملConcrete Types for TypeScript
TypeScript extends JavaScript with optional type annotations that are, by design, unsound and, that the TypeScript compiler discards as it emits code. This design point preserves programming idioms developers are familiar with, and allows them to leave their legacy code unchanged, while offering a measure of static error checking in parts of the program that have type annotations. We present an...
متن کاملGenerating Interactive Explanations
Existing approaches to text generation fail to consider how interactions with the user may be managed within a coherent explanation or description. This paper presents an approach to generating such interactive explanations based on two levels of discourse planning { content planning and dialogue planning. The system developed allows aspects of the changing context to be monitored with an expla...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2020
ISSN: 2075-2180
DOI: 10.4204/eptcs.314.2